|
1043323
Infos complémentaires |
parentName_s |
Inria Grenoble - Rhône-AlpesLaboratoire d'Informatique de Grenoble |
|
Construction of verified concurrent systems |
CONVECS |
researchteam |
Centre de recherche Inria655 avenue de l'Europe38330 Montbonnot Saint-Martin |
|
2020-01-01 |
|
|
|
178330
Infos complémentaires |
parentName_s |
Inria Grenoble - Rhône-AlpesLaboratoire d'Informatique de Grenoble |
|
Construction of verified concurrent systems |
CONVECS |
researchteam |
Centre de recherche Inria655 avenue de l'Europe38330 Montbonnot Saint-Martin |
|
2012-01-01 |
2015-12-31 |
|
|
1042444
Infos complémentaires |
parentName_s |
Inria Grenoble - Rhône-AlpesLaboratoire d'Informatique de Grenoble |
|
Construction of verified concurrent systems |
CONVECS |
researchteam |
Centre de recherche Inria655 avenue de l'Europe38330 Montbonnot Saint-Martin |
|
2016-01-01 |
2019-12-31 |
|